Giga Games 1/Giga Games.iso/net/go/comp/compbibs/internals.pl

Text File | 1993-06-20 | 14.5 KB | 603 lines

# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate internals original text with physical files.


$key = q/cite_1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_acm1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_agj1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_aigner1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_akl1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_akl2/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_aroutcheff1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_banerji1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_banerji2/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_banerji3/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_baudet1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_benson1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_benson2/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_benson3/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_benson4/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_benson5/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_benson6/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_berliner1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_berliner2/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_berliner3/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_berliner4/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_berliner5/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_block1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_botvinnik1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_bradley1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_bramer1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_bratko2/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_brown1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_brown2/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_brown3/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_brown4/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_brown5/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_brown6/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_campbell1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_computerGo1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_davies1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_davies2/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_davies3/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_degroot1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_dgoz1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_dieMeister1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_dowsey1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_egf1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_evers1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_fairbairn1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_fraenkel1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_frey1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_frey2/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_friedenbach1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_fujisawa1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_goWorld1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_good1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_gottschalk1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_haider1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_hamann2/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_hanner1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_harris1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_haruyama1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_heine1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_ing1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_ishida1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_ishida2/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_iwamoto1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_iwamoto2/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_kageyama1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_kageyama2/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_kajiwara1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_kano1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_kato1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_kerwin1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_kierulf1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_kim1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_knuth1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_koulen1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_lefkovitz1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_lehner1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_lehner2/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_lenz1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_levy1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_levy2/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_lichtenstein1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_liu1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_liu2/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_mann1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_mano1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_mcallester1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_millen1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_miller1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_milnor1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_miyamoto1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_morris1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_nau1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_nau2/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_nau3/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_nilsson1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_ohira1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_olmstead1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_palay1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_pearl1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_pearl2/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_power1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_reitman1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_reitman2/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_reitman3/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_reitman4/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_reitman5/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_reitman6/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_reitman7/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_remus1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_remus2/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_robson1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_roizen1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_rosenbloom1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_ryder1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_sakata1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_sakata2/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_samuel1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_samuel2/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_sander1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_sanechika1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_sanechika2/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_sanechika3/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_sanechika4/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_scarff1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_scarff2/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_shannon1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_soule1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_starkey1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_stockman1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_sugawara1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_tackett1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_takagawa1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_takagawa2/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_takemiya1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_thorp1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_thorp2/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_ting1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_uhr1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_uhr2/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_waterman1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_webster1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_wilcox1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_wilcox2/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_wilkins1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_wimmer1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_wolff1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_zahle1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_zobrist1/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_zobrist2/;
$ref_files{$key} = "$dir".q|node1_mn.html|;
$noresave{$key} = "$nosave";

1;